Does rationality demand higher-order certainty?
نویسندگان
چکیده
منابع مشابه
Higher Order Demand Propagation
In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non-strict functional language, which has a polymorphic type system and supports higher order functions and user definable algebraic data types. This report defines a semantics for higher order demand propagation and relates it to...
متن کاملCommon Certainty of Rationality Revisited
In conventional epistemic analysis of solution concepts in complete information games, complete information is implicitly interpreted to mean common certainty of (i) a mapping from action profiles to outcomes; (ii) players’ (unconditional) preferences over outcomes; and (iii) players’ preferences over outcomes conditional on others’ actions. We characterize a new solution concept—preference-cor...
متن کاملHigher-Order Demand-Driven Program Analysis
We explore a novel approach to higher-order program analysis that brings ideas of on-demand lookup from first-order CFL-reachability program analyses to higher-order programs. The analysis needs to produce only a control-flow graph; it can derive all other information including values of variables directly from the graph. Several challenges had to be overcome, including how to build the control...
متن کاملHigher-Order Demand-Driven Program Analysis (Artifact)
This artifact is a proof-of-concept implementation of DDPA, an on-demand program analysis for higherorder functional programs. The implementation, written in OCaml, includes a parser, evaluator, and DDPA analysis for the language defined in the companion paper (including the proper record semantics extension). The analysis may be performed using different levels of precision as specified by the...
متن کاملDoes attitude certainty beget self-certainty?
This research explores the possibility that changes in attitude certainty can affect general self-certainty and, thus, have consequences that extend beyond the attitude domain. Across two studies, attitude certainty is manipulated using repeated attitude expression and attitude consensus paradigms. The implications of these manipulations are tested for feelings of general self-uncertainty (Stud...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Synthese
سال: 2020
ISSN: 0039-7857,1573-0964
DOI: 10.1007/s11229-020-02814-w